An integration of uml use case diagram and activity diagram with Z language for formalization of library management system
نویسندگان
چکیده
منابع مشابه
Formalization of Well-formedness Rules for Uml Use Case Diagram
Unified Modeling Language (UML) is a modeling language for specifying, constructing and documenting the artifacts of the systems. Similar to programming language such as C++ and Java, UML also consists of syntax and semantics. The UML syntax is the graphical notations to draw the UML diagrams and the semantics is the meaning of the notations. The semantics is grouped into two, static or well-fo...
متن کاملAutomated Test Case Generation Using Uml Use Case Diagram and Activity Diagram
Testing plays a major role for improving the quality of a software product. Due to its iterative and incremental nature it needs special attention. Test case generation is one of the complex activities carried out during testing phase. Generating test cases in the early phases of development life cycle works like a catalyst for model based testing and at the same time efficiently manages time a...
متن کاملEnhancement of Action Description Language for UML Activity Diagram Review
The UML activity diagram is graphical presentation that describes the operational process and related causes used in each stage of the system. For understanding and accurate communication, the UML standard is required for determining the congruent and consistent format application. To detect the misconception and incorrect notation, this paper presents an automation approach to reviewing UML ac...
متن کاملFormalization, Testing and Execution of a Use Case Diagram
Errors in a requirements model have prolonged detrimental effects on reliability, cost, and safety of a software system. It is very costly to fix these errors in later phases of software development if they cannot be corrected during requirements analysis and design. A Use Case diagram, as a requirements model, plays an important role in giving requirements for a software system. It provides a ...
متن کاملCase-Based Adaptation for UML Diagram Reuse
In this paper we present an approach to software design reuse based on Case-Based Adaptation. We show how this approach is integrated in a CASE tool suggesting solutions to the software designer. This approach generates new UML designs based on previous ones, which are stored in a central repository. Two different strategies are described and evaluated experimentally.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Electrical and Computer Engineering (IJECE)
سال: 2019
ISSN: 2088-8708,2088-8708
DOI: 10.11591/ijece.v9i4.pp3069-3076